Replication and fault-tolerance in real-time systems

PhD ThesisThe increased availability of sophisticated computer hardware and the corresponding decrease in its cost has led to a widespread growth in the use of computer systems for realtime plant and process control applications. Such applications typically place very high demands upon computer control systems and the development of appropriate control software for these application areas can present a number of problems not normally encountered in other applications. First of all, real-time applications must be correct in the time domain as well as the value domain: returning results which are not only correct but also delivered on time. Further, since the potential for catastrophic failures can be high in a process or plant control environment, many real-time applications also have to meet high reliability requirements. These requirements will typically be met by means of a combination of fault avoidance and fault tolerance techniques. This thesis is intended to address some of the problems encountered in the provision of fault tolerance in real-time applications programs. Specifically,it considers the use of replication to ensure the availability of services in real-time systems. In a real-time environment, providing support for replicated services can introduce a number of problems. In particular, the scope for non-deterministic behaviour in real-time applications can be quite large and this can lead to difficultiesin maintainingconsistent internal states across the members of a replica group. To tackle this problem, a model is proposed for fault tolerant real-time objects which not only allows such objects to perform application specific recovery operations and real-time processing activities such as event handling, but which also allows objects to be replicated. The architectural support required for such replicated objects is also discussed and, to conclude, the run-time overheads associated with the use of such replicated services are considered.The Science and Engineering Research Council

A cross-sectional investigation of back pain beliefs and fear in physiotherapy and sport undergraduate students.

Background Although low back pain (LBP) beliefs have been well investigated in mainstream healthcare discipline students, the beliefs within sports-related study students, such as Sport and Exercise Science (SES), Sports Therapy (ST), and Sport Performance and Coaching (SPC) programmes have yet to be explored. This study aims to understand any differences in the beliefs and fear associated with movement in students enrolled in four undergraduate study programmes–physiotherapy (PT), ST, SES, and SPC. Method 136 undergraduate students completed an online survey. All participants completed the Tampa Scale of Kinesiophobia (TSK) and Back Beliefs Questionnaire (BBQ). Two sets of two-way between-subjects Analysis of Variance (ANOVA) were conducted for each outcome of TSK and BBQ, with the independent variables of the study programme, study year (1st, 2nd, 3rd), and their interaction. Results There was a significant interaction between study programme and year for TSK (F(6, 124) = 4.90, P < 0.001) and BBQ (F(6, 124) = 8.18, P < 0.001). Post-hoc analysis revealed that both PT and ST students had lower TSK and higher BBQ scores than SES and SPC students particularly in the 3rd year. Conclusions The beliefs of clinicians and trainers managing LBP are known to transfer to patients, and more negative beliefs have been associated with greater disability. This is the first study to understand the beliefs about back pain in various sports study programmes, which is timely, given that the management of injured athletes typically involves a multidisciplinary team

Apolipoprotein C3 Polymorphisms, Cognitive Function and Diabetes in Caribbean Origin Hispanics

Apolipoprotein C3 (APOC3) modulates triglyceride metabolism through inhibition of lipoprotein lipase, but is itself regulated by insulin, so that APOC3 represents a potential mechanism by which glucose metabolism may affect lipid metabolism. Unfavorable lipoprotein profiles and impaired glucose metabolism are linked to cognitive decline, and all three conditions may decrease lifespan. Associations between apolipoprotein C3 (APOC3) gene polymorphisms and impaired lipid and glucose metabolism are well-established, but potential connections between APOC3 polymorphisms, cognitive decline and diabetes deserve further attention.We examined whether APOC3 single nucleotide polymorphisms (SNPs) m482 (rs2854117) and 3u386 (rs5128) were related to cognitive measures, whether the associations between cognitive differences and genotype were related to metabolic differences, and how diabetes status affected these associations. Study subjects were Hispanics of Caribbean origin (n = 991, aged 45-74) living in the Boston metropolitan area.Cognitive and metabolic measures differed substantially by type II diabetes status. In multivariate regression models, APOC3 m482 AA subjects with diabetes exhibited lower executive function (P = 0.009), Stroop color naming score (P = 0.014) and Stroop color-word score (P = 0.022) compared to AG/GG subjects. APOC3 m482 AA subjects with diabetes exhibited significantly higher glucose (P = 0.032) and total cholesterol (P = 0.028) compared to AG/GG subjects. APOC3 3u386 GC/GG subjects with diabetes exhibited significantly higher triglyceride (P = 0.004), total cholesterol (P = 0.003) and glucose (P = 0.016) compared to CC subjects.In summary, we identified significant associations between APOC3 polymorphisms, impaired cognition and metabolic dysregulation in Caribbean Hispanics with diabetes. Further research investigating these relationships in other populations is warranted

Effect of transcatheter aortic valve implantation vs surgical aortic valve replacement on all-cause mortality in patients with aortic stenosis

Importance: Transcatheter aortic valve implantation (TAVI) is a less invasive alternative to surgical aortic valve replacement and is the treatment of choice for patients at high operative risk. The role of TAVI in patients at lower risk is unclear. Objective: To determine whether TAVI is noninferior to surgery in patients at moderately increased operative risk. Design, Setting, and Participants: In this randomized clinical trial conducted at 34 UK centers, 913 patients aged 70 years or older with severe, symptomatic aortic stenosis and moderately increased operative risk due to age or comorbidity were enrolled between April 2014 and April 2018 and followed up through April 2019. Interventions: TAVI using any valve with a CE mark (indicating conformity of the valve with all legal and safety requirements for sale throughout the European Economic Area) and any access route (n = 458) or surgical aortic valve replacement (surgery; n = 455). Main Outcomes and Measures: The primary outcome was all-cause mortality at 1 year. The primary hypothesis was that TAVI was noninferior to surgery, with a noninferiority margin of 5% for the upper limit of the 1-sided 97.5% CI for the absolute between-group difference in mortality. There were 36 secondary outcomes (30 reported herein), including duration of hospital stay, major bleeding events, vascular complications, conduction disturbance requiring pacemaker implantation, and aortic regurgitation. Results: Among 913 patients randomized (median age, 81 years [IQR, 78 to 84 years]; 424 [46%] were female; median Society of Thoracic Surgeons mortality risk score, 2.6% [IQR, 2.0% to 3.4%]), 912 (99.9%) completed follow-up and were included in the noninferiority analysis. At 1 year, there were 21 deaths (4.6%) in the TAVI group and 30 deaths (6.6%) in the surgery group, with an adjusted absolute risk difference of −2.0% (1-sided 97.5% CI, −∞ to 1.2%; P &lt; .001 for noninferiority). Of 30 prespecified secondary outcomes reported herein, 24 showed no significant difference at 1 year. TAVI was associated with significantly shorter postprocedural hospitalization (median of 3 days [IQR, 2 to 5 days] vs 8 days [IQR, 6 to 13 days] in the surgery group). At 1 year, there were significantly fewer major bleeding events after TAVI compared with surgery (7.2% vs 20.2%, respectively; adjusted hazard ratio [HR], 0.33 [95% CI, 0.24 to 0.45]) but significantly more vascular complications (10.3% vs 2.4%; adjusted HR, 4.42 [95% CI, 2.54 to 7.71]), conduction disturbances requiring pacemaker implantation (14.2% vs 7.3%; adjusted HR, 2.05 [95% CI, 1.43 to 2.94]), and mild (38.3% vs 11.7%) or moderate (2.3% vs 0.6%) aortic regurgitation (adjusted odds ratio for mild, moderate, or severe [no instance of severe reported] aortic regurgitation combined vs none, 4.89 [95% CI, 3.08 to 7.75]). Conclusions and Relevance: Among patients aged 70 years or older with severe, symptomatic aortic stenosis and moderately increased operative risk, TAVI was noninferior to surgery with respect to all-cause mortality at 1 year. Trial Registration: isrctn.com Identifier: ISRCTN57819173

Evidence for three genetic loci involved in both anorexia nervosa risk and variation of body mass index

The maintenance of normal body weight is disrupted in patients with anorexia nervosa (AN) for prolonged periods of time. Prior to the onset of AN, premorbid body mass index (BMI) spans the entire range from underweight to obese. After recovery, patients have reduced rates of overweight and obesity. As such, loci involved in body weight regulation may also be relevant for AN and vice versa. Our primary analysis comprised a cross-trait analysis of the 1000 single-nucleotide polymorphisms (SNPs) with the lowest P-values in a genome-wide association meta-analysis (GWAMA) of AN (GCAN) for evidence of association in the largest published GWAMA for BMI (GIANT). Subsequently we performed sex-stratified analyses for these 1000 SNPs. Functional ex vivo studies on four genes ensued. Lastly, a look-up of GWAMA-derived BMI-related loci was performed in the AN GWAMA. We detected significant associations (P-values <5 × 10-5, Bonferroni-corrected P<0.05) for nine SNP alleles at three independent loci. Interestingly, all AN susceptibility alleles were consistently associated with increased BMI. None of the genes (chr. 10: CTBP2, chr. 19: CCNE1, chr. 2: CARF and NBEAL1; the latter is a region with high linkage disequilibrium) nearest to these SNPs has previously been associated with AN or obesity. Sex-stratified analyses revealed that the strongest BMI signal originated predominantly from females (chr. 10 rs1561589; Poverall: 2.47 × 10-06/Pfemales: 3.45 × 10-07/Pmales: 0.043). Functional ex vivo studies in mice revealed reduced hypothalamic expression of Ctbp2 and Nbeal1 after fasting. Hypothalamic expression of Ctbp2 was increased in diet-induced obese (DIO) mice as compared with age-matched lean controls. We observed no evidence for associations for the look-up of BMI-related loci in the AN GWAMA. A cross-trait analysis of AN and BMI loci revealed variants at three chromosomal loci with potential joint impact. The chromosome 10 locus is particularly promising given that the association with obesity was primarily driven by females. In addition, the detected altered hypothalamic expression patterns of Ctbp2 and Nbeal1 as a result of fasting and DIO implicate these genes in weight regulation

Evidence for three genetic loci involved in both anorexia nervosa risk and variation of body mass index

The maintenance of normal body weight is disrupted in patients with anorexia nervosa (AN) for prolonged periods of time. Prior to the onset of AN, premorbid body mass index (BMI) spans the entire range from underweight to obese. After recovery, patients have reduced rates of overweight and obesity. As such, loci involved in body weight regulation may also be relevant for AN and vice versa. Our primary analysis comprised a cross-trait analysis of the 1000 single-nucleotide polymorphisms (SNPs) with the lowest P-values in a genome-wide association meta-analysis (GWAMA) of AN (GCAN) for evidence of association in the largest published GWAMA for BMI (GIANT). Subsequently we performed sex-stratified analyses for these 1000 SNPs. Functional ex vivo studies on four genes ensued. Lastly, a look-up of GWAMA-derived BMI-related loci was performed in the AN GWAMA. We detected significant associations (P-values <5 × 10−5, Bonferroni-corrected P<0.05) for nine SNP alleles at three independent loci. Interestingly, all AN susceptibility alleles were consistently associated with increased BMI. None of the genes (chr. 10: CTBP2, chr. 19: CCNE1, chr. 2: CARF and NBEAL1; the latter is a region with high linkage disequilibrium) nearest to these SNPs has previously been associated with AN or obesity. Sex-stratified analyses revealed that the strongest BMI signal originated predominantly from females (chr. 10 rs1561589; Poverall: 2.47 × 10−06/Pfemales: 3.45 × 10−07/Pmales: 0.043). Functional ex vivo studies in mice revealed reduced hypothalamic expression of Ctbp2 and Nbeal1 after fasting. Hypothalamic expression of Ctbp2 was increased in diet-induced obese (DIO) mice as compared with age-matched lean controls. We observed no evidence for associations for the look-up of BMI-related loci in the AN GWAMA. A cross-trait analysis of AN and BMI loci revealed variants at three chromosomal loci with potential joint impact. The chromosome 10 locus is particularly promising given that the association with obesity was primarily driven by females. In addition, the detected altered hypothalamic expression patterns of Ctbp2 and Nbeal1 as a result of fasting and DIO implicate these genes in weight regulation